Optimal Control Using Bisimulations: Implementation
نویسندگان
چکیده
We consider the synthesis of optimal controls for continuous feedback systems by recasting the problem to a hybrid optimal control problem which is to synthesize optimal enabling conditions for switching between locations in which the control is constant. We provide a singlepass algorithm to solve the dynamic programming problem that arises, with added constraints to ensure non-Zeno trajectories.
منابع مشابه
Theory of Optimal Control Using Bisimulations
We consider the synthesis of optimal controls for continuous feedback systems by recasting the problem to a hybrid optimal control problem: to synthesize optimal enabling conditions for switching between locations in which the control is constant. An algorithmic solution is obtained by translating the hybrid automaton to a finite automaton using a bisimulation and formulating a dynamic programm...
متن کاملImplementation of Control Variables to Exploit Output Power for SRGs in Single Pulse Mode Operation
This paper presents an analytical modeling method of optimal control variables to maximize output power for switched reluctance generators (SRGs) in single pulse mode operation. This method extends the basic theory of the Stiebler model and utilizes the flux linkage function to express the inductance model of SRG. In this paper, the optimal phase current shape of SRG for maximum output power is...
متن کاملUpper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems
In this paper we study a class of dynamical systems defined by Pfaffian maps. It is a sub-class of o-minimal dynamical systems which capture rich continuous dynamics and yet can be studied using finite bisimulations. The existence of finite bisimulations for o-minimal dynamical and hybrid systems has been shown by several authors (see e.g. [2, 3, 11]). The next natural question to investigate i...
متن کاملA Calculus for True Concurrency
We design a calculus for true concurrency called CTC, including its syntax and operational semantics. CTC has good properties modulo several kinds of strongly truly concurrent bisimulations and weakly truly concurrent bisimulations, such as monoid laws, static laws, new expansion law for strongly truly concurrent bisimulations, τ laws for weakly truly concurrent bisimulations, and full congruen...
متن کاملAn algorithm for computing bisimulations in planning
Merge-and-shrink abstractions are a popular approach to generate abstraction heuristics for planning. The computation of merge-and-shrink abstractions relies on a merging and a shrinking strategy. A recently investigated shrinking strategy is based on using bisimulations. Bisimulations are guaranteed to produce perfect heuristics. In this thesis we investigate an efficient algorithm proposed by...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001